Undecidability of Equations in Free Lie Algebras
نویسندگان
چکیده
In this paper we prove undecidability of finite systems of equations in free Lie algebras of rank at least three over an arbitrary field. We show that the ring of integers Z is interpretable by positive existential formulas in such free Lie algebras over a field of characteristic zero.
منابع مشابه
Realization of locally extended affine Lie algebras of type $A_1$
Locally extended affine Lie algebras were introduced by Morita and Yoshii in [J. Algebra 301(1) (2006), 59-81] as a natural generalization of extended affine Lie algebras. After that, various generalizations of these Lie algebras have been investigated by others. It is known that a locally extended affine Lie algebra can be recovered from its centerless core, i.e., the ideal generated by weight...
متن کاملLattice of full soft Lie algebra
In this paper, we study the relation between the soft sets and soft Lie algebras with the lattice theory. We introduce the concepts of the lattice of soft sets, full soft sets and soft Lie algebras and next, we verify some properties of them. We prove that the lattice of the soft sets on a fixed parameter set is isomorphic to the power set of a ...
متن کاملSome properties of nilpotent Lie algebras
In this article, using the definitions of central series and nilpotency in the Lie algebras, we give some results similar to the works of Hulse and Lennox in 1976 and Hekster in 1986. Finally we will prove that every non trivial ideal of a nilpotent Lie algebra nontrivially intersects with the centre of Lie algebra, which is similar to Philip Hall's result in the group theory.
متن کاملFiber bundles and Lie algebras of top spaces
In this paper, by using of Frobenius theorem a relation between Lie subalgebras of the Lie algebra of a top space T and Lie subgroups of T(as a Lie group) is determined. As a result we can consider these spaces by their Lie algebras. We show that a top space with the finite number of identity elements is a C^{∞} principal fiber bundle, by this method we can characterize top spaces.
متن کاملFixed point approach to the Hyers-Ulam-Rassias approximation of homomorphisms and derivations on Non-Archimedean random Lie $C^*$-algebras
In this paper, using fixed point method, we prove the generalized Hyers-Ulam stability of random homomorphisms in random $C^*$-algebras and random Lie $C^*$-algebras and of derivations on Non-Archimedean random C$^*$-algebras and Non-Archimedean random Lie C$^*$-algebras for the following $m$-variable additive functional equation: $$sum_{i=1}^m f(x_i)=frac{1}{2m}left[sum_{i=1}^mfle...
متن کامل